Commutativity in free inverse monoids
نویسندگان
چکیده
منابع مشابه
Equations in Free Inverse Monoids
It is known that the problem of determining consistency of a finite system of equations in a free group or a free monoid is decidable, but the corresponding problem for systems of equations in a free inverse monoid of rank at least two is undecidable. Any solution to a system of equations in a free inverse monoid induces a solution to the corresponding system of equations in the associated free...
متن کاملWalking Automata in Free Inverse Monoids
Walking automata, be they running over words, trees or even graphs, possibly extended with pebbles that can be dropped and lifted on vertices, have long been defined and studied in Computer Science. However, questions concerning walking automata are surprisingly complex to solve. In this paper, we study a generic notion of walking automata over graphs whose semantics naturally lays within inver...
متن کاملWord Problem Languages for Free Inverse Monoids
This paper considers the word problem for free inverse monoids of finite rank from a language theory perspective. It is shown that no free inverse monoid has context-free word problem; that the word problem of the free inverse monoid of rank 1 is both 2-context-free (an intersection of two context-free languages) and ET0L; that the co-word problem of the free inverse monoid of rank 1 is context...
متن کاملInverse Monoids, Trees, and Context-Free Languages
This paper is concerned with a study of inverse monoids presented by a set X subject to relations of the form ei = fi, i E I , where ei and fi are Dyck words, i.e. idempotents of the free inverse monoid on X. Some general results of Stephen are used to reduce the word problem for such a presentation to the membership problem for a certain subtree of the Cayley graph of the free group on X. In t...
متن کاملAlgorithmic Problems on Inverse Monoids over Virtually Free Groups
Let G be a finitely generated virtually-free group. We consider the Birget-Rhodes expansion of G, which yields an inverse monoid and which is denoted by IM(G) in the following. We show that for a finite idempotent presentation P , the word problem of a quotient monoid IM(G)/P can be solved in linear time on a RAM. The uniform word problem, where G and the presentation P are also part of the inp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1998
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(98)00030-9